Refinement techniques in software engineering (First Pernambuco summer school on software engineering, PSSE 2004, Recife, Brazil, November 23 - December 5, 2004)Cavalcanti, Ana; Sampaio, Augusto; Woodcock, Jim et al.Lecture notes in computer science. 2006, issn 0302-9743, isbn 3-540-46253-8, 1Vol, X-391 p, isbn 3-540-46253-8Conference Proceedings

A Tutorial Introduction to CSP in Unifying Theories of ProgrammingCAVALCANTI, Ana; WOODCOCK, Jim.Lecture notes in computer science. 2006, pp 220-268, issn 0302-9743, isbn 3-540-46253-8, 1Vol, 49 p.Conference Paper

Library Block SpecificationsLecture notes in computer science. 2006, pp 375-391, issn 0302-9743, isbn 3-540-46253-8, 1Vol, 17 p.Conference Paper

Proofs of Lemmas and Theorems in the UTPLecture notes in computer science. 2006, pp 369-374, issn 0302-9743, isbn 3-540-46253-8, 1Vol, 6 p.Conference Paper

Techniques for Temporal Logic Model CheckingDEHARBE, David.Lecture notes in computer science. 2006, pp 315-367, issn 0302-9743, isbn 3-540-46253-8, 1Vol, 53 p.Conference Paper

Elementary Probability TheoryLecture notes in computer science. 2006, issn 0302-9743, isbn 3-540-46253-8, 1Vol, p. 368Conference Paper

Refinement : An OverviewCAVALCANTI, Ana; SAMPAIO, Augusto; WOODCOCK, Jim et al.Lecture notes in computer science. 2006, pp 1-17, issn 0302-9743, isbn 3-540-46253-8, 1Vol, 17 p.Conference Paper

Using CSPDAVIES, Jim.Lecture notes in computer science. 2006, pp 64-122, issn 0302-9743, isbn 3-540-46253-8, 1Vol, 59 p.Conference Paper